971![Isabelle Supports Rodin Matthias Schmalz Information Security Group, ETH Zurich April 28th, 2011 Isabelle Supports Rodin Matthias Schmalz Information Security Group, ETH Zurich April 28th, 2011](https://www.pdfsearch.io/img/260ca15464a6dc57c34ee2945094ce32.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:20:15
|
---|
972![The Fundamentals of Hybrid Systems Modelers Albert Benveniste, INRIA-Rennes Campus de BeaulieuRennes cedex, France Benoît Caillaud, INRIA-Rennes The Fundamentals of Hybrid Systems Modelers Albert Benveniste, INRIA-Rennes Campus de BeaulieuRennes cedex, France Benoît Caillaud, INRIA-Rennes](https://www.pdfsearch.io/img/98f01076e878dcd0d8bacdf15b3e3179.jpg) | Add to Reading ListSource URL: www.di.ens.frLanguage: English - Date: 2015-04-17 12:15:00
|
---|
973![h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 10 ❖ h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 10 ❖](https://www.pdfsearch.io/img/e597443467c72720db5ea31ed6f64db9.jpg) | Add to Reading ListSource URL: www.nondot.orgLanguage: English - Date: 2001-03-26 23:04:40
|
---|
974![A Framework for Defining Logics Robert Harper∗ Furio Honsell† Gordon Plotkin‡ A Framework for Defining Logics Robert Harper∗ Furio Honsell† Gordon Plotkin‡](https://www.pdfsearch.io/img/012c99ccd1ad9bb9eef2c153ab5bdc2c.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2004-06-30 10:44:06
|
---|
975![Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh](https://www.pdfsearch.io/img/b62801faade2439b34da62fafe5b734d.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2008-04-25 03:41:02
|
---|
976![Safe|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS Safe|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS](https://www.pdfsearch.io/img/ef059860dd3af84b4c247c908fbda818.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2014-08-19 20:08:15
|
---|
977![Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump](https://www.pdfsearch.io/img/b84640f01914d4f4430780a12207823b.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2014-07-10 05:47:16
|
---|
978![Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong](https://www.pdfsearch.io/img/9884987f1c519c621c266c5b0ae5e468.jpg) | Add to Reading ListSource URL: www.cs.ust.hkLanguage: English - Date: 2005-05-27 05:14:47
|
---|
979![Equivalences for Fair Kripke Structures Adnan Aziz∗ Robert Brayton‡ Felice Balarin† Equivalences for Fair Kripke Structures Adnan Aziz∗ Robert Brayton‡ Felice Balarin†](https://www.pdfsearch.io/img/21bbed1b270a918cff5263b6b16bb86f.jpg) | Add to Reading ListSource URL: cjtcs.cs.uchicago.eduLanguage: English - Date: 2005-09-23 01:02:50
|
---|
980![An Analysis of Mobile Robot Navigation Algorithms in Unknown Environments James Ng This thesis is presented for the degree of An Analysis of Mobile Robot Navigation Algorithms in Unknown Environments James Ng This thesis is presented for the degree of](https://www.pdfsearch.io/img/65c95a7a05fcad8e47a392fb33f565c4.jpg) | Add to Reading ListSource URL: robotics.ee.uwa.edu.auLanguage: English - Date: 2010-09-11 10:17:14
|
---|